An automated formal approach to managing dynamic reconfiguration

机译：一种管理动态重新配置的自动正式方法

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Ian Warren; Jing Sun; Sanjev Krishnamohan; Thiranjith Weerasinghe;
展开▼
作者单位

展开▼
年度 2006
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. QoS contract preservation through dynamic reconfiguration: A formal semantics approach [J] . Gabriel Tamura, Rubby Casallas, Anthony Cleve, Science of Computer Programming . 2014,第pta3期

机译：通过动态重新配置来保留QoS合同：一种正式的语义方法
2. Formal approach to agent-based dynamic reconfiguration in Networks-On-Chip [J] . Ostroumov S., Tsiopoulos L., Plosila J., Journal of systems architecture . 2013,第9期

机译：片上网络中基于代理的动态重新配置的正式方法
3. A CSP-Based Approach for Managing the Dynamic Reconfiguration of Software Architecture [J] . Mourad Chabane Oussalah, Abdelfetah Saadi, Youcef Hammal International journal of information technologies and systems approach . 2021,第1期

机译：基于CSP的管理方法，用于管理软件架构的动态重新配置
4. An Automated Formal Approach to Managing Dynamic Reconfiguration [C] . Ian Warren, Jing Sun, Sanjev Krishnamohan, IEEE International Conference on Automated Software Engineering . 2006

机译：管理动态重新配置的自动正式方法
5. A formal approach for managing facility change information and capturing change history as part of building information models (BIMs). [D] . Akcamete, Asli. 2011

机译：一种正式的方法，用于管理设施变更信息并捕获变更历史，作为建筑物信息模型（BIM）的一部分。
6. Dynamic programming and automated segmentation of optical coherence tomography images of the neonatal subglottis: enabling efficient diagnostics to manage subglottic stenosis [O] . Konrad M. Kozlowski, Giriraj K. Sharma, Jason J. Chen, 2019

机译：新生儿声门下光学相干断层扫描图像的动态编程和自动分割：实现有效的诊断以管理声门下狭窄
7. QoS Contract Preservation through Dynamic Reconfiguration: A Formal Semantics Approach [O] . Tamura Gabriel, Casallas Rubby, Cleve Anthony, 2014

机译：通过动态重配置保证Qos合同：一种形式语义方法

An automated formal approach to managing dynamic reconfiguration

著录项

引文网络

相似文献

相关主题

期刊订阅